axiomatic model
[计] 公理化模型
热门查询
- yesterday n. 昨天；往昔 adv. 昨天
- Gregg [人名] [英格兰人姓氏] 格雷格 Gregory的昵称; [地名] [加拿大] 格雷格
- swat n. 用劲打击；重拍；全垒打 vt. 重拍；猛击；用力击出（远距离球）
- along prep. 沿着；顺着 adv. 一起；向前；来到
- gutter n. 排水沟；槽；贫民区 vi. 流；形成沟 vt. 开沟于…；弄熄 adj. 贫贱的；粗俗的；耸人听闻的 n. (Gutter)人名；(罗)古特尔；(英)格特
- steading n. 农场及其建筑物
- Forres n. (Forres)人名；(英)福里斯
- firstly adv. 首先（主要用于列举条目、论点时）；第一
- ahmad n. 阿哈默德（穆罕默德在《古兰经》中的名称）
- calais n. 加来（法国城市）；卡莱斯牌汽车
- predictably adv. 可预言地
- Nijinsky n. (Nijinsky)人名；(德)尼因斯基
- credit n. 信用，信誉；[金融] 贷款；学分；信任；声望 vt. 相信，信任；把…归给，归功于；赞颂
- mainspring n. 主要动力；（钟表）主发条；主要原因；主要动机
- ratifier n. 批准者
- extremist n. 极端主义者，过激分子
- unraveling 解开 阐明 解决 拆散（unravel的现在分词）
- understudy n. 候补演员；替工 vt. 练习代演；当…的替手；实地演习 vi. 学当替工
- sacrifice n. 牺牲；祭品；供奉 vt. 牺牲；献祭；亏本出售 vi. 献祭；奉献
- stb abbr. 机顶盒（Set-Top-Box）；神学学士（Sacrae Theologiae Baccalaureus）
